Formal Theories of Action (Preliminary Report)

Beyond Toy Problems : A Logical Formalization of the Egg - Cracking Domain ( Preliminary Report

Formal research in object-level commonsense reasoning (csr) has concentrated on toy problems|problems that require only a few axioms to formalize. The resulting body of research is often narrow, since scaling down a problem factors out much of the diiculty. This paper aims to reverse this trend. We tackle a substantial problem in csr: the formalization of egg cracking. To do this, we develop th...

Preferential Action Semantics (preliminary Report) Preferential Action Semantics (preliminary Report)

In this paper we propose a new way of considering reasoning about action and change Rather than placing a preferential structure onto the models of logical theories we place such a structure directly on the semantics of the actions involved In this way we obtain a preferential semantics of actions by means of which we can not only deal with several of the traditional problems in this area such ...

MID TERM RESULTS OF ARTHROSCOPIC RELEASE OF TENNIS ELBOW, PRELIMINARY REPORT IN IRAN

This was Presented in 5th International Congress of Iranian Iranian Society of Knee Surgery, Arthroscopy, and Sports Traumatology (ISKAST), 14-17 Feb 2018- Kish, Iran

A preliminary report on the isolation of bovine malignant catarrhal fever virus in Iran

تحلیل فرهنگی خانۀ سلماسی تبریز بر اساس نظریۀ رپوپورت

This research attempts to study the Salmasi House –a house built in the Qajar period and its relation to the cultural context by assuming the house as a cultural expression. To this end, the theoretical framework of this research is based on Amos Rapoport’s environement behavior theories to develop a methodology for study of Persian Architecture. His three phase analytical method of dismantling...